The Social Costs of Moving Water in Northern New Mexico

15 pages

The Social Costs of Moving Water in Northern New Mexico

15 pages

Técnicas de la oralidad en el Sistema Penal Acusatorio Colombiano: un estudio desde la argumentación y refutación en la teoría del caso

Trabajo de investigaciónLa investigación hará un estudio sobre las técnicas de la oralidad en el Sistema Penal Acusatorio Colombiano y específicamente desde la argumentación y la refutación en la teoría del caso. Teniendo en cuenta que en este nuevo sistema, los actores del proceso penal deben ser conocedores de las competencias y destrezas relacionadas con estos instrumentos lógicos del pensamiento. De igual manera se observarán los yerros en que se incurre por el mal uso de la argumentación y refutación en la teoría del caso. Es decir que se busca explicar la forma en la que fue implementado el Sistema de Oralidad en Colombia más concretamente en el área del Derecho Penal y cuáles son las falencias que este sistema presenta a raíz de dicha implementación.PregradoAbogad

Automated generation of computationally hard feature models using evolutionary algorithms

This is the post-print version of the final paper published in Expert Systems with Applications. The published article is available from the link below. Changes resulting from the publishing process, such as peer review, editing, corrections, structural formatting, and other quality control mechanisms may not be reflected in this document. Changes may have been made to this work since it was submitted for publication. Copyright @ 2014 Elsevier B.V.A feature model is a compact representation of the products of a software product line. The automated extraction of information from feature models is a thriving topic involving numerous analysis operations, techniques and tools. Performance evaluations in this domain mainly rely on the use of random feature models. However, these only provide a rough idea of the behaviour of the tools with average problems and are not sufficient to reveal their real strengths and weaknesses. In this article, we propose to model the problem of finding computationally hard feature models as an optimization problem and we solve it using a novel evolutionary algorithm for optimized feature models (ETHOM). Given a tool and an analysis operation, ETHOM generates input models of a predefined size maximizing aspects such as the execution time or the memory consumption of the tool when performing the operation over the model. This allows users and developers to know the performance of tools in pessimistic cases providing a better idea of their real power and revealing performance bugs. Experiments using ETHOM on a number of analyses and tools have successfully identified models producing much longer executions times and higher memory consumption than those obtained with random models of identical or even larger size.European Commission (FEDER), the Spanish Government and the Andalusian Government

Representation and Hispanic School Boards in North Central Texas: Confirming a Lack of Representation

This paper provides an overview of representation as defined by scholars and applies their theories to school boards. The paper presents a study of 156 school districts in the North Central Texas region to reveal the degree of Hispanic school board representation in two educational regions. The study includes an overview of the number of seats on each school board; Hispanic school board membership and percentages; Hispanic student enrollment in each district, and the percentage of Hispanic students in each district. The study concludes that Hispanic children are underrepresented

Mutation testing on an object-oriented framework: An experience report

This is the preprint version of the article - Copyright @ 2011 ElsevierContext The increasing presence of Object-Oriented (OO) programs in industrial systems is progressively drawing the attention of mutation researchers toward this paradigm. However, while the number of research contributions in this topic is plentiful, the number of empirical results is still marginal and mostly provided by researchers rather than practitioners. Objective This article reports our experience using mutation testing to measure the effectiveness of an automated test data generator from a user perspective. Method In our study, we applied both traditional and class-level mutation operators to FaMa, an open source Java framework currently being used for research and commercial purposes. We also compared and contrasted our results with the data obtained from some motivating faults found in the literature and two real tools for the analysis of feature models, FaMa and SPLOT. Results Our results are summarized in a number of lessons learned supporting previous isolated results as well as new findings that hopefully will motivate further research in the field. Conclusion We conclude that mutation testing is an effective and affordable technique to measure the effectiveness of test mechanisms in OO systems. We found, however, several practical limitations in current tool support that should be addressed to facilitate the work of testers. We also missed specific techniques and tools to apply mutation testing at the system level.This work has been partially supported by the European Commission (FEDER) and Spanish Government under CICYT Project SETI (TIN2009-07366) and the Andalusian Government Projects ISABEL (TIC-2533) and THEOS (TIC-5906)

The Economic Value of Basin Protection to Improve the Quality and Reliability of Potable Water Supply: Some Evidence from Ecuador

This study estimates the willingness to pay (WTP) of Loja’s households to protect two micro-basins that supply over 40 percent of potable water to the city. Results indicate that households have an average WTP of $5.80 per month, which corresponds to a 25 percent increase in the self-reported monthly water bill, to preserve the basins.Basin protection, contingent valuation, Loja, Ecuador, Environmental Economics and Policy, Land Economics/Use,